{module, recoptimise}.  %% version = 0

{exports, [{module_info,0},
           {module_info,1},
           {t1,1},
           {t1N,1},
           {t2,1},
           {t2N,1},
           {t3,1},
           {t3N,1}]}.

{attributes, []}.

{labels, 23}.


{function, t1, 1, 2}.
  {label,1}.
    {func_info,{atom,recoptimise},{atom,t1},1}.
  {label,2}.
    {test,is_tuple,{f,3},[{x,0}]}.
    {test,test_arity,{f,3},[{x,0},4]}.
    {get_tuple_element,{x,0},0,{x,1}}.
    {test,is_eq_exact,{f,3},[{x,1},{atom,rec}]}.
    return.
  {label,3}.
    {badmatch,{x,0}}.


{function, t1N, 1, 5}.
  {label,4}.
    {func_info,{atom,recoptimise},{atom,t1N},1}.
  {label,5}.
    {test,is_tuple,{f,6},[{x,0}]}.
    {test,test_arity,{f,6},[{x,0},4]}.
    {get_tuple_element,{x,0},0,{x,1}}.
    {test,is_eq_exact,{f,6},[{x,1},{atom,rec}]}.
    return.
  {label,6}.
    {badmatch,{x,0}}.


{function, t2, 1, 8}.
  {label,7}.
    {func_info,{atom,recoptimise},{atom,t2},1}.
  {label,8}.
    {test,is_tuple,{f,9},[{x,0}]}.
    {test,test_arity,{f,9},[{x,0},4]}.
    {get_tuple_element,{x,0},0,{x,1}}.
    {test,is_eq_exact,{f,9},[{x,1},{atom,rec}]}.
    return.
  {label,9}.
    {badmatch,{x,0}}.


{function, t2N, 1, 11}.
  {label,10}.
    {func_info,{atom,recoptimise},{atom,t2N},1}.
  {label,11}.
    {test,is_tuple,{f,12},[{x,0}]}.
    {test,test_arity,{f,12},[{x,0},4]}.
    {get_tuple_element,{x,0},0,{x,1}}.
    {get_tuple_element,{x,0},1,{x,2}}.
    {test,is_eq_exact,{f,12},[{x,1},{atom,rec}]}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    {move,{atom,rec},{x,1}}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    {move,{atom,rec},{x,1}}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    {move,{atom,rec},{x,1}}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    {move,{atom,rec},{x,1}}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    {move,{atom,rec},{x,1}}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    {move,{atom,rec},{x,1}}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    {move,{atom,rec},{x,1}}.
    {get_tuple_element,{x,0},1,{x,3}}.
    {test,is_eq_exact,{f,12},[{x,3},{x,2}]}.
    return.
  {label,12}.
    {badmatch,{x,0}}.


{function, t3, 1, 14}.
  {label,13}.
    {func_info,{atom,recoptimise},{atom,t3},1}.
  {label,14}.
    {test,is_tuple,{f,15},[{x,0}]}.
    {test,test_arity,{f,15},[{x,0},4]}.
    {get_tuple_element,{x,0},0,{x,1}}.
    {test,is_eq_exact,{f,15},[{x,1},{atom,rec}]}.
    return.
  {label,15}.
    {badmatch,{x,0}}.


{function, t3N, 1, 17}.
  {label,16}.
    {func_info,{atom,recoptimise},{atom,t3N},1}.
  {label,17}.
    {test,is_tuple,{f,18},[{x,0}]}.
    {test,test_arity,{f,18},[{x,0},4]}.
    {get_tuple_element,{x,0},0,{x,1}}.
    {test,is_eq_exact,{f,18},[{x,1},{atom,rec}]}.
    return.
  {label,18}.
    {badmatch,{x,0}}.


{function, module_info, 0, 20}.
  {label,19}.
    {func_info,{atom,recoptimise},{atom,module_info},0}.
  {label,20}.
    {move,{atom,recoptimise},{x,0}}.
    {call_ext_only,1,{extfunc,erlang,get_module_info,1}}.


{function, module_info, 1, 22}.
  {label,21}.
    {func_info,{atom,recoptimise},{atom,module_info},1}.
  {label,22}.
    {move,{x,0},{x,1}}.
    {move,{atom,recoptimise},{x,0}}.
    {call_ext_only,2,{extfunc,erlang,get_module_info,2}}.
